presentation.util
Class Exporter

java.lang.Object
  extended by presentation.util.Exporter

public class Exporter
extends java.lang.Object

Write objects into file


Constructor Summary
private Exporter()
           
 
Method Summary
static void exportToDot(java.io.File file, Service service)
          Save the service into text file
static void exportToImage(java.io.File file, org.jgraph.JGraph graph)
          Save the selected graph into image file
static void exportToText(java.io.File file, java.lang.String text)
          Save the string into text file
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

Exporter

private Exporter()
Method Detail

exportToImage

public static void exportToImage(java.io.File file,
                                 org.jgraph.JGraph graph)
Save the selected graph into image file

Parameters:
file - file to save
graph - the graph

exportToDot

public static void exportToDot(java.io.File file,
                               Service service)
Save the service into text file

Parameters:
file - the file to save
service - the service

exportToText

public static void exportToText(java.io.File file,
                                java.lang.String text)
Save the string into text file

Parameters:
file - the file to save
text - the string